### /diagnostics.ncl
(fun a => a) : { _ : _ } -> { _ }
### diagnostic = ["file:///diagnostics.ncl"]
